例句與造句

1. A logic has the finite model property ( FMP ) if it is complete with respect to a class of finite frames.
2. For a logic that has the finite model property, the problems of satisfiability and finite satisfiability coincide, as a formula of that logic has a model if and only if it has a finite model.
3. It's difficult to find finite model property in a sentence. 用finite model property造句挺難的